Higher order predicate calculus
[計(jì)] 高階謂詞演算
?? 詞語(yǔ)組成解析
[經(jīng)] 上揚(yáng)
order
['?:d?]
n. 命令;秩序;規(guī)則，制度;次序;
vt. 命令;訂購(gòu);整理;
vi. 下訂單;
predicate
['predikit]
vt. 斷言，斷定;宣布，宣講;使基于;
vi. 斷言，斷定;
n. 謂語(yǔ);述語(yǔ);
adj. 謂語(yǔ)的;述語(yǔ)的;
calculus
['k?lkj?l?s]
n. [醫(yī)]結(jié)石，石，積石，牙垢;[數(shù)]運(yùn)算，演算，微積分（學(xué)）;
ule,ulus 后綴;表”小,少”#詞根助記：calc石頭(古時(shí)候用石頭來(lái)計(jì)算)##calc 石灰,石頭#詞根助記：calc石頭(古時(shí)候用石頭來(lái)計(jì)算)
??? 情景例句
You're way off base.
球不在壘上，此處指“與事實(shí)不符”。
Nobody likes grapes more than I do.
我最喜歡葡萄。
Who won?
誰(shuí)贏了？